ELP[2]

Equational Logic Programming

M. J. O'Donnell

A language which is semantically pure and fully lazy.

Equational Logic as a Programming Language, Michael J. O'Donnell, MIT Press, 1985.